Institute for Logic - PDFSEARCH.IO - Document Search Engine

Institute for Logic
Results: 325

#	Item
191	Dependency Parsing for Weibo: An Efficient Probabilistic Logic Programming Approach William Yang Wang, Lingpeng Kong, Kathryn Mazaitis, William W. Cohen Language Technologies Institute & Machine Learning Department Carne Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2014-08-27 11:03:52 Information science Treebank Parsing Dependency grammar Natural language processing Parse tree Association for Computational Linguistics Statistical parsing Search engine indexing Linguistics Computational linguistics Science
192	Qualified Types for MLF Daan Leijen Andres L¨oh Institute of Information and Computing Sciences, Utrecht University Add to Reading List Source URL: kosmikus.org Language: English - Date: 2011-11-25 05:39:15 Mathematical logic Parametric polymorphism Type class System F Normal function Type inference Ordinal number Type system Kind Type theory Software engineering Programming language theory
193	This article was downloaded by: [[removed]On: 31 March 2014, At: 14:01 Publisher: Institute for Operations Research and the Management Sciences (INFORMS) INFORMS is located in Maryland, USA Mathematics of Operatio Add to Reading List Source URL: www.princeton.edu Language: English - Date: 2014-07-09 11:56:39 Applied mathematics Convex optimization Mathematical optimization Legendre function Combinatorics Combinatory logic Linear programming Operations research Theoretical computer science Mathematics
194	Definitions and Their Role in Scientific Classification Corinne L. Bloch The Cohn Institute for the History and Philosophy of Science and Ideas Tel Aviv University Abstract As a result of the criticism of the classical t Add to Reading List Source URL: www.bristol.ac.uk Language: English - Date: 2007-10-11 04:17:04 Philosophy of science Philosophy of language Semantics Definition Philosophical logic Epistemology Concept Causality Scientific theory Science Linguistics Philosophy
195	Computer Algebra implemented in Isabelle’s Function Package under Lucas-Interpretation — a Case Study Walther Neuper Institute for Software Technology University of Technology Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2013-07-05 18:35:19 Logic in computer science Automated theorem proving Programming idioms Mathematical logic Recursion Automated reasoning Isabelle HOL Termination analysis Computer programming Theoretical computer science Applied mathematics
196	Axioms for composite strategies R. Ramanujam and Sunil Simon The Institute of Mathematical Sciences C.I.T. Campus, Chennai[removed], India. E-mail: {jam,sunils}@imsc.res.in Add to Reading List Source URL: www.imsc.res.in Language: English - Date: 2006-08-04 05:49:08 Symbol Structure Interpretation Constructible universe Metaphilosophy Orbifold Model theory Logic Mathematics
197	A (restricted) quantifier elimination for security protocols ? R. Ramanujam ∗ The Institute of Mathematical Sciences, C.I.T. Campus, Taramani, Chennai[removed], India S.P. Suresh Add to Reading List Source URL: www.imsc.res.in Language: English - Date: 2006-08-04 05:49:00 Burrows–Abadi–Needham logic Needham–Schroeder protocol Communications protocol Model theory Quantifier elimination Security protocol notation Cryptographic protocols Data Information
198	Robot Architectures for Believable Game Agents Ian D. Horswill and Robert Zubek Institute for the Learning Sciences, Northwestern University 1890 Maple Ave., Suite 300 Evanston, IL 60201 {ian,rob}@cs.nwu.edu Add to Reading List Source URL: robert.zubek.net Language: English - Date: 2007-04-21 19:39:55 Robotics Technology Software architecture Computational neuroscience Subsumption architecture Robot Actor model First-order logic Cog Science Artificial intelligence Cognitive architecture
199	arXiv:1110.3564v2 [cs.LG] 8 Nov[removed]Budget-Optimal Task Allocation for Reliable Crowdsourcing Systems David R. Karger, Sewoong Oh, and Devavrat Shah Department of EECS, Massachusetts Institute of Technology Add to Reading List Source URL: arxiv.org Language: English - Date: 2014-01-18 07:16:57 Theoretical computer science Coding theory Algorithm Mathematical logic Expectation–maximization algorithm Belief propagation Mathematics Statistics Applied mathematics
200	The Logic of the Health Care Debate A Rockridge Institute Report October 18, 2007 Introduction Most health care reports advocate a policy, describe it, and argue for it. We take a Add to Reading List Source URL: www.cognitivepolicyworks.com Language: English - Date: 2010-08-18 19:25:00 Healthcare reform in the United States Healthcare Publicly funded health care Health policy Health insurance United States National Health Care Act Health care in the United States Health care system Insurance Health Health economics Medicine

UPDATE